xs = []  # type: list[<caret>]